Higher order fuzzy logic in controlling selective catalytic reduction systems
نویسندگان
چکیده
منابع مشابه
Higher order fuzzy logic in controlling selective catalytic reduction systems
This paper presents research on applications of fuzzy logic and higher-order fuzzy logic systems to control filters reducing air pollution [1]. The filters use Selective Catalytic Reduction (SCR) method and, as for now, this process is controlled manually by a human expert. The goal of the research is to control an SCR system responsible for emission of nitrogen oxide (NO) and nitrogen dioxide ...
متن کاملRelations in Higher-order Fuzzy Logic III
This contribution is the third and last of a series of talks on relations in higher-order fuzzy logic. The first two [5] have introduced the logical framework (see also [3, 4]) along with a set of basic results that, at first glance, look very familiar. These results, however, have been developed from a much more general basis. Their proofs have been devised independently and resemble closer to...
متن کاملFuzzy Logic and Higher-Order Vagueness
The major reason given in the philosophical literature for dissatisfaction with theories of vagueness based on fuzzy logic is that such theories give rise to a problem of higherorder vagueness or artificial precision. In this paper I first outline the problem and survey suggested solutions: fuzzy epistemicism; measuring truth on an ordinal scale; logic as modelling; fuzzy metalanguages; blurry ...
متن کاملFuzzy Type Theory As Higher Order Fuzzy Logic
In the paper, logical axioms, inference rules, semantics, and some specific properties including the completeness theorems of four kinds of fuzzy type theory are presented. This theory is a higher order fuzzy logic that can be used for precise formalization, for example, of the theory of computing with words, fuzzy IF-THEN rules, approximate reasoning, and others.
متن کاملElements of model theory in higher-order fuzzy logic
In this paper, we turn our attention to model theory of higher-order fuzzy logic (fuzzy type theory). This theory generalizes model theory of predicate logic but has some interesting specificities. We will introduce few basic concepts related to homomorphism, isomorphism, submodel, etc. and show some properties of them.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Polish Academy of Sciences Technical Sciences
سال: 2014
ISSN: 2300-1917
DOI: 10.2478/bpasts-2014-0080